Search Results
CRM Colloquium by Terence Tao: "Machine Assisted Proofs"
Highlight Reel of CRM Colloquium by Terence Tao- -Machine Assisted Proofs
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA
James Maynard (mathematician) | Wikipedia audio article
